From 3b1484f57c14193a745b3959a2b9b18f4327a688 Mon Sep 17 00:00:00 2001 From: Lapo Calamandrei Date: Fri, 18 Mar 2016 18:38:48 +0100 Subject: [PATCH] Adwaita: fix colorscale shrinking when disabled --- gtk/theme/Adwaita/_common.scss | 6 ++--- gtk/theme/Adwaita/gtk-contained-dark.css | 30 ++++++++++++------------ gtk/theme/Adwaita/gtk-contained.css | 30 ++++++++++++------------ 3 files changed, 33 insertions(+), 33 deletions(-) diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index ef37f42af7..72c07e2bd5 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -2986,7 +2986,7 @@ scale { } slider { - &:hover, &:backdrop, & { + &:hover, &:backdrop, &:disabled, &:backdrop:disabled, & { @extend %scale-has-marks-above-horz; margin-bottom: -15px; @@ -3007,7 +3007,7 @@ scale { } slider { - &:hover, &:backdrop, & { + &:hover, &:backdrop, &:disabled, &:backdrop:disabled, & { @extend %scale-has-marks-below-vert; margin-left: -15px; @@ -3027,7 +3027,7 @@ scale { } slider { - &:hover, &:backdrop, & { + &:hover, &:backdrop, &:disabled, &:backdrop:disabled, & { @extend %scale-has-marks-above-vert; margin-right: -15px; diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css index 558f3d9491..33b5259692 100644 --- a/gtk/theme/Adwaita/gtk-contained-dark.css +++ b/gtk/theme/Adwaita/gtk-contained-dark.css @@ -2841,7 +2841,7 @@ scale { min-width: 6px; } scale.vertical.fine-tune indicator { min-width: 3px; } - scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider, + scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider:disabled, scale.color.horizontal slider:backdrop:disabled, scale.color.horizontal slider, scale.horizontal contents:last-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -2856,7 +2856,7 @@ scale { scale.color.fine-tune.horizontal slider, scale.horizontal.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-top: -11px; } - scale.color.horizontal slider:hover, + scale.color.horizontal slider:hover, scale.color.horizontal slider:hover:backdrop:disabled, scale.horizontal contents:last-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -2871,7 +2871,7 @@ scale { scale.color.fine-tune.horizontal slider, scale.horizontal.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-top: -11px; } - scale.color.horizontal slider:active, + scale.color.horizontal slider:active:backdrop:disabled, scale.color.horizontal slider:active, scale.horizontal contents:last-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3015,7 +3015,7 @@ scale { scale.horizontal.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-bottom: -11px; } - scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider, + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider:disabled, scale.color.vertical:dir(rtl) slider:backdrop:disabled, scale.color.vertical:dir(rtl) slider, scale.vertical contents:last-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -3030,7 +3030,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(rtl) slider:hover, + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:hover:backdrop:disabled, scale.vertical contents:last-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -3045,7 +3045,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(rtl) slider:active, + scale.color.vertical:dir(rtl) slider:active:backdrop:disabled, scale.color.vertical:dir(rtl) slider:active, scale.vertical contents:last-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3105,7 +3105,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider, + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider:disabled, scale.color.vertical:dir(ltr) slider:backdrop:disabled, scale.color.vertical:dir(ltr) slider, scale.vertical contents:first-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -3120,7 +3120,7 @@ scale { scale.color.fine-tune.vertical:dir(ltr) slider, scale.vertical.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-right: -11px; } - scale.color.vertical:dir(ltr) slider:hover, + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:hover:backdrop:disabled, scale.vertical contents:first-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -3135,7 +3135,7 @@ scale { scale.color.fine-tune.vertical:dir(ltr) slider, scale.vertical.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-right: -11px; } - scale.color.vertical:dir(ltr) slider:active, + scale.color.vertical:dir(ltr) slider:active:backdrop:disabled, scale.color.vertical:dir(ltr) slider:active, scale.vertical contents:first-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3208,7 +3208,7 @@ scale { background-position: 0 -3px; border-top-left-radius: 0; border-top-right-radius: 0; } - scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider { + scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider:disabled, scale.color.horizontal slider:backdrop:disabled, scale.color.horizontal slider { margin-bottom: -15px; margin-top: 6px; } scale.color.vertical:dir(ltr) { @@ -3218,7 +3218,7 @@ scale { background-position: 3px 0; border-bottom-right-radius: 0; border-top-right-radius: 0; } - scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider { + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider:disabled, scale.color.vertical:dir(ltr) slider:backdrop:disabled, scale.color.vertical:dir(ltr) slider { margin-left: -15px; margin-right: 6px; } scale.color.vertical:dir(rtl) { @@ -3228,7 +3228,7 @@ scale { background-position: -3px 0; border-bottom-left-radius: 0; border-top-left-radius: 0; } - scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider { + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider:disabled, scale.color.vertical:dir(rtl) slider:backdrop:disabled, scale.color.vertical:dir(rtl) slider { margin-right: -15px; margin-left: 6px; } scale.color.fine-tune.horizontal { @@ -3743,12 +3743,12 @@ paned > separator { -gtk-icon-source: none; border-style: none; background-color: transparent; - background-image: linear-gradient(to top, #1c1f1f); + background-image: image(#1c1f1f); background-size: 1px 1px; } paned > separator:selected { - background-image: linear-gradient(to top, #215d9c); } + background-image: image(#215d9c); } paned > separator:backdrop { - background-image: linear-gradient(to top, #1f2222); } + background-image: image(#1f2222); } paned > separator.wide { min-width: 5px; min-height: 5px; diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css index 6d2153b05f..1eafe377b0 100644 --- a/gtk/theme/Adwaita/gtk-contained.css +++ b/gtk/theme/Adwaita/gtk-contained.css @@ -2869,7 +2869,7 @@ scale { min-width: 6px; } scale.vertical.fine-tune indicator { min-width: 3px; } - scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider, + scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider:disabled, scale.color.horizontal slider:backdrop:disabled, scale.color.horizontal slider, scale.horizontal contents:last-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -2884,7 +2884,7 @@ scale { scale.color.fine-tune.horizontal slider, scale.horizontal.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-top: -11px; } - scale.color.horizontal slider:hover, + scale.color.horizontal slider:hover, scale.color.horizontal slider:hover:backdrop:disabled, scale.horizontal contents:last-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -2899,7 +2899,7 @@ scale { scale.color.fine-tune.horizontal slider, scale.horizontal.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-top: -11px; } - scale.color.horizontal slider:active, + scale.color.horizontal slider:active:backdrop:disabled, scale.color.horizontal slider:active, scale.horizontal contents:last-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3043,7 +3043,7 @@ scale { scale.horizontal.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-bottom: -11px; } - scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider, + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider:disabled, scale.color.vertical:dir(rtl) slider:backdrop:disabled, scale.color.vertical:dir(rtl) slider, scale.vertical contents:last-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -3058,7 +3058,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(rtl) slider:hover, + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:hover:backdrop:disabled, scale.vertical contents:last-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -3073,7 +3073,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(rtl) slider:active, + scale.color.vertical:dir(rtl) slider:active:backdrop:disabled, scale.color.vertical:dir(rtl) slider:active, scale.vertical contents:last-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3133,7 +3133,7 @@ scale { scale.color.fine-tune.vertical:dir(rtl) slider, scale.vertical.fine-tune contents:last-child:not(:only-child) > trough > slider { margin: -7px; margin-left: -11px; } - scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider, + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider:disabled, scale.color.vertical:dir(ltr) slider:backdrop:disabled, scale.color.vertical:dir(ltr) slider, scale.vertical contents:first-child:not(:only-child) > trough > slider { margin: -10px; border-style: none; @@ -3148,7 +3148,7 @@ scale { scale.color.fine-tune.vertical:dir(ltr) slider, scale.vertical.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-right: -11px; } - scale.color.vertical:dir(ltr) slider:hover, + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:hover:backdrop:disabled, scale.vertical contents:first-child:not(:only-child) > trough > slider:hover { margin: -10px; border-style: none; @@ -3163,7 +3163,7 @@ scale { scale.color.fine-tune.vertical:dir(ltr) slider, scale.vertical.fine-tune contents:first-child:not(:only-child) > trough > slider { margin: -7px; margin-right: -11px; } - scale.color.vertical:dir(ltr) slider:active, + scale.color.vertical:dir(ltr) slider:active:backdrop:disabled, scale.color.vertical:dir(ltr) slider:active, scale.vertical contents:first-child:not(:only-child) > trough > slider:active { margin: -10px; border-style: none; @@ -3236,7 +3236,7 @@ scale { background-position: 0 -3px; border-top-left-radius: 0; border-top-right-radius: 0; } - scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider { + scale.color.horizontal slider:hover, scale.color.horizontal slider:backdrop, scale.color.horizontal slider:disabled, scale.color.horizontal slider:backdrop:disabled, scale.color.horizontal slider { margin-bottom: -15px; margin-top: 6px; } scale.color.vertical:dir(ltr) { @@ -3246,7 +3246,7 @@ scale { background-position: 3px 0; border-bottom-right-radius: 0; border-top-right-radius: 0; } - scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider { + scale.color.vertical:dir(ltr) slider:hover, scale.color.vertical:dir(ltr) slider:backdrop, scale.color.vertical:dir(ltr) slider:disabled, scale.color.vertical:dir(ltr) slider:backdrop:disabled, scale.color.vertical:dir(ltr) slider { margin-left: -15px; margin-right: 6px; } scale.color.vertical:dir(rtl) { @@ -3256,7 +3256,7 @@ scale { background-position: -3px 0; border-bottom-left-radius: 0; border-top-left-radius: 0; } - scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider { + scale.color.vertical:dir(rtl) slider:hover, scale.color.vertical:dir(rtl) slider:backdrop, scale.color.vertical:dir(rtl) slider:disabled, scale.color.vertical:dir(rtl) slider:backdrop:disabled, scale.color.vertical:dir(rtl) slider { margin-right: -15px; margin-left: 6px; } scale.color.fine-tune.horizontal { @@ -3771,12 +3771,12 @@ paned > separator { -gtk-icon-source: none; border-style: none; background-color: transparent; - background-image: linear-gradient(to top, #9d9d99); + background-image: image(#9d9d99); background-size: 1px 1px; } paned > separator:selected { - background-image: linear-gradient(to top, #4a90d9); } + background-image: image(#4a90d9); } paned > separator:backdrop { - background-image: linear-gradient(to top, #a5a5a1); } + background-image: image(#a5a5a1); } paned > separator.wide { min-width: 5px; min-height: 5px; -- 2.30.2